1. ......................

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Recursive functions

رده :
Q
111
.
A3
no
.
1317

2. .....................

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages

رده :
QA
267
.
5
.
S4
E53

3. .....................

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Recursive functions,، Turing machines

رده :
QA
248
.
5
.
J66

4.

پدیدآورنده :

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)

موضوع : Recursive functions

رده :
QA
248
.
5
.
G6A5

5. A recursive introduction to the theory of computation

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computer programming,Data processing ، Recursive functions

رده :
QA
76
.
6
.
S52

6. Algorithmen theorie

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Recursive functions,Algorithms,Formal languages

رده :
511
.
8
L825

7. An introduction to the general theory of algorithms

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions

رده :
QA
76
.
7
.
M3

8. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Aufzählbarkeit.,Berechenbarkeit.,Recursive functions.

9. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Recursive functions

رده :
QA
248
.
5
.
H4
1978

10. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions

رده :
QA
248
.
5
.
H4
1971

11. Computability

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions

رده :
QA
.
D38
9
.
615
1982

12. Computability /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computable functions,Recursive functions

رده :
QA9
.
59
.
T68
1984

13. Computability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Computable functions,، Recursive functions

رده :
QA
9
.
59
.
T68
1984

14. Computability

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Computable functions,، Recursive functions

رده :
QA
9
.
59
.
W45
1987

15. Computability : an introduction to recursive function theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computable functions,، Recursion theory,، Recursive functions

رده :
QA
9
.
59
.
C87
1980

16. Computability and logic

پدیدآورنده :

کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.

رده :
QA
9
.
59
.
B6C6

17. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

18. Computability and logic

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
E-BOOK

19. Computability and logic

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Recursive functions,Logic, symbolic and mathematical

رده :
511
.
3
B724c

20. Computability and logic

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)

موضوع : Computable functions,Recursive functions

رده :
511
.
3
B724C